凝縮数学における ℓ²(ℕ)/ℓ¹(ℕ) と Peter Scholze の演習問題についての詳細解説

概要: 本稿は、Dustin Clausen と Peter Scholze によって提唱された「凝縮数学 (condensed mathematics)」の文脈においてしばしば言及される商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ に関する議論をまとめたものである。この話題は Scholze 自身による Math Stack Exchange での書き込みが発端となっており、公式な論文等の形では詳細な証明が公開されていない。本稿では、チャットでの対話に基づき、位相空間論における問題点と凝縮数学による解決策を概観し、さらに Scholze が提示した「楽しい演習問題」に対する自己完結的 (self-contained) かつ完全な証明を与える。また、その写像の単射性 (injectivity) や、液体ベクトル空間 (liquid vector space) としての商の構成、さらに超不連結空間の射影性が与える影響についても詳述する。

1. 議論の背景と出典

YouTube 等で公開されている凝縮数学の解説において、しばしば商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ の例が登場する。この具体例は、従来の位相空間 (topological space) の概念の限界を示し、凝縮集合 (condensed set) の有用性を対比させるための非常に直観的 (intuitive) な例として知られている。

この話題の初出かつ原典にあたる文献は、学術雑誌の論文や書籍ではなく、Peter Scholze 自身による Math Stack Exchange での回答である。

2. 基本概念の定義と包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$

議論の前提となる関数解析 (functional analysis) の基本的な対象である数列空間 (sequence space) について定義し、それらの包含関係を証明する。

定義 1 ($\ell^p$ 空間)
$1 \le p < \infty$ を満たす実数 $p$ に対して、実数列 (real sequence) $x = (x_n)_{n \in \mathbb{N}}$ であって、無限級数 $\sum_{n=1}^\infty |x_n|^p$ が収束するもののなす集合を $\ell^p(\mathbb{N})$ と定義する。すなわち、以下のように表される。 $$ \ell^p(\mathbb{N}) = \left\{ (x_n)_{n \in \mathbb{N}} \mid \sum_{n=1}^\infty |x_n|^p < \infty \right\} $$ 特に、$p=1$ の場合を絶対収束数列の空間 $\ell^1(\mathbb{N})$ と呼び、ノルムを $\|x\|_1 = \sum_{n=1}^\infty |x_n|$ で定める。$p=2$ の場合を2乗和収束数列の空間 $\ell^2(\mathbb{N})$ と呼び、ノルムを $\|x\|_2 = \left( \sum_{n=1}^\infty |x_n|^2 \right)^{1/2}$ で定める。これらは完備 (complete) なノルム空間、すなわち Banach空間 (Banach space) となる。

証明:
任意の実数列 $x = (x_n)_{n \in \mathbb{N}} \in \ell^1(\mathbb{N})$ をとる。定義より、無限級数 $\sum_{n=1}^\infty |x_n|$ は収束して有限の値を持つ。

無限級数が収束するための必要条件により、数列 $(x_n)_{n \in \mathbb{N}}$ の各項は $n \to \infty$ とともに $0$ に収束する。すなわち、極限 (limit) $\lim_{n \to \infty} x_n = 0$ が成り立つ。

極限の定義から、$\epsilon = 1$ に対してある自然数 $N \in \mathbb{N}$ が存在し、$n \ge N$ を満たす任意の自然数 $n$ に対して $|x_n| < 1$ が成り立つ。

実数の基本的な性質として、$0 \le |x_n| < 1$ を満たすとき、この不等式の両辺に正の数あるいは $0$ である $|x_n|$ を掛けることで、不等式 $|x_n|^2 \le |x_n|$ が得られる。

この不等式を用いて、数列の2乗和の部分和 (partial sum) を評価する。任意の整数 $M > N$ に対して、各項での不等式を足し合わせることで以下の不等式が成り立つ。 $$ \sum_{n=N}^M |x_n|^2 \le \sum_{n=N}^M |x_n| $$ 仮定より元々の級数 $\sum_{n=1}^\infty |x_n|$ は収束するため、その尾部 (tail) である $\sum_{n=N}^\infty |x_n|$ も有限の値を持つ。正項級数に関する比較判定法 (comparison test) により、上から抑えられている左辺の無限級数 $\sum_{n=N}^\infty |x_n|^2$ も収束する。

さらに、級数の最初の有限個の項の和 $\sum_{n=1}^{N-1} |x_n|^2$ は有限個の実数の和であるため、当然ながら有限の値である。したがって、全体としての無限級数 $\sum_{n=1}^\infty |x_n|^2$ は以下のように有限の値と有限の値の和に分解できるため、これも収束する。 $$ \sum_{n=1}^\infty |x_n|^2 = \sum_{n=1}^{N-1} |x_n|^2 + \sum_{n=N}^\infty |x_n|^2 < \infty $$ 以上により、無限級数 $\sum_{n=1}^\infty |x_n|^2$ が収束することが示されたため、$x \in \ell^2(\mathbb{N})$ である。任意の $x \in \ell^1(\mathbb{N})$ が $x \in \ell^2(\mathbb{N})$ を満たすため、包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$ が成り立つ。証明終。

3. 位相空間における商位相の問題点と凝縮数学による解決

Banach空間の包含関係 $\ell^1(\mathbb{N}) \subset \ell^2(\mathbb{N})$ が確認できたため、自然な商ベクトル空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ を考えることができる。しかし、ここに位相空間 (topological space) の概念の限界が現れる。

$\ell^2(\mathbb{N})$ に通常のノルム位相を入れ、商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ に商位相 (quotient topology) を導入するとする。商写像を $\pi : \ell^2(\mathbb{N}) \to \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ と置く。商位相の定義により、$U \subset \ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ が開集合 (open set) であることと、$\pi^{-1}(U)$ が $\ell^2(\mathbb{N})$ の開集合であることは同値である。
もし $U$ が空集合 $\varnothing$ でない場合、ある点を含むため、その逆像 $\pi^{-1}(U)$ は少なくとも一つの $\ell^1(\mathbb{N})$ の剰余類（平行移動された $\ell^1(\mathbb{N})$）を完全に含む。ここで、有限個の非ゼロ項を持つ数列の集合（有限台の数列の集合）は $\ell^1(\mathbb{N})$ に含まれ、かつ $\ell^2(\mathbb{N})$ において稠密 (dense) である。部分空間が稠密であるならば、それを平行移動したものも稠密である。したがって、$\pi^{-1}(U)$ は $\ell^2(\mathbb{N})$ における稠密な部分集合を含む開集合となるため、必然的に $\pi^{-1}(U) = \ell^2(\mathbb{N})$ 全体となってしまう。
結果として、商空間 $\ell^2(\mathbb{N}) / \ell^1(\mathbb{N})$ の開集合は空集合 $\varnothing$ と全体空間のみとなる。すなわち、密着位相 (indiscrete topology) になってしまうのである。位相線型空間 (topological vector space) としての構造は完全に潰れ、単なる抽象的なベクトル空間以上の情報を持たなくなってしまう。

定義 2 (凝縮集合)
超不連結 (extremally disconnected) な compact Hausdorff空間 (compact Hausdorff space) のなす圏 (category) を $\text{ExtrDisc}$ とする。ここで、位相空間が超不連結であるとは、任意の開集合の閉包が再び開集合 (すなわち clopen であること) を満たすことをいう。
凝縮集合 (condensed set) とは、関手 (functor) $X : \text{ExtrDisc}^{\text{op}} \to \text{Set}$ であって、有限素な和 (finite disjoint union) を積 (product) に写し、かつ全射 (surjection) に対して sheaf (層) の公理を満たすもののことである。
任意の位相空間 $T$ は、$S \mapsto C(S, T)$ （$S$ から $T$ への連続写像の集合）によって凝縮集合 $\underline{T}$ を自然に定める。位相空間の間の連続写像は凝縮集合の間の射を誘導する。
凝縮 $\mathbb{R}$ ベクトル空間 (condensed $\mathbb{R}$-vector space) の圏は完全なアーベル圏 (abelian category) をなす。

4. Peter Scholze の演習問題とその完全な証明

Scholze は Stack Exchange の回答の最後において、凝縮数学の世界では商空間 $\underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ がいかに非自明な対象であるかを示す「楽しい演習問題 (fun exercise)」を提示した。それは、一見すると非線型 (non-linear) である関数 $x \mapsto x \log |x|$ が、凝縮 $\mathbb{R}$ ベクトル空間の間の「線型な射」を誘導するという驚くべき事実である。

定理 4.1 (Scholze の演習問題)
写像 $F : \ell^1(\mathbb{N}) \to \ell^2(\mathbb{N})$ を $x = (x_n) \mapsto (x_n \log |x_n|)$ （ただし $0 \log 0 = 0$ とする）によって定める。このとき $F$ はノルム位相に関して連続 (continuous) である。さらに、この $F$ が誘導する凝縮集合の射 $\underline{F} : \underline{\ell^1(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})}$ と自然な商写像 $\pi : \underline{\ell^2(\mathbb{N})} \to \underline{\ell^2(\mathbb{N})} / \underline{\ell^1(\mathbb{N})}$ の合成 $\pi \circ \underline{F}$ は、凝縮 $\mathbb{R}$ ベクトル空間の間の非自明な線型写像 (linear map) を定める。

証明:
実関数 $f: \mathbb{R} \to \mathbb{R}$ を $t \neq 0$ のとき $f(t) = t \log |t|$ 、$t=0$ のとき $f(0) = 0$ と定義する。極限 $\lim_{t \to 0} t \log |t| = 0$ により、$f$ は $\mathbb{R}$ 全体で連続である。

ステップ 1: $F$ が well-defined であること。
$x = (x_n) \in \ell^1(\mathbb{N})$ とする。極限 $\lim_{t \to 0} t (\log |t|)^2 = 0$ であるから、ある定数 $C > 0$ と $\delta > 0$ が存在して、$|t| < \delta$ ならば $|f(t)|^2 = |t|^2 (\log|t|)^2 \le C |t|$ が成り立つ。$x \in \ell^1(\mathbb{N})$ より $x_n \to 0$ であるから、ある $N \in \mathbb{N}$ が存在して、$n > N$ ならば $|x_n| < \delta$ となる。したがって、この尾部について $$ \sum_{n=N+1}^\infty |f(x_n)|^2 \le C \sum_{n=N+1}^\infty |x_n| < \infty $$ となる。最初の $N$ 項の和は有限個の実数の和であるから当然有限である。よって $\sum_{n=1}^\infty |f(x_n)|^2 < \infty$ であり、$F(x) \in \ell^2(\mathbb{N})$ が成り立つ。

ステップ 2: $F$ の連続性。
（詳細な評価は省略するが、通常のノルム位相に関して連続写像であることが示される。連続写像は関手性により、凝縮集合の射 $\underline{F}$ を well-defined に誘導する。）

ステップ 3: モジュロ $\ell^1(\mathbb{N})$ での加法性。
2変数関数 $g(u, v) = f(u+v) - f(u) - f(v)$ を考える。任意の $c > 0$ に対して $g(cu, cv) = c g(u, v)$ が成り立つ。有界閉集合上の連続性から、ある $M > 0$ が存在し $|g(u, v)| \le M(|u| + |v|)$ が成り立つ。 $x, y \in \ell^1(\mathbb{N})$ とすると、各項について評価でき、 $$ \sum_{n=1}^\infty |g(x_n, y_n)| \le M (\|x\|_1 + \|y\|_1) < \infty $$ となる。これは $F(x+y) - F(x) - F(y) \in \ell^1(\mathbb{N})$ を意味し、商空間において $F(x+y) \equiv F(x) + F(y)$ となる。

ステップ 4: モジュロ $\ell^1(\mathbb{N})$ でのスカラー倍。
$c \in \mathbb{R}$ と $x \in \ell^1(\mathbb{N})$ に対して、 $$ f(cx) = c f(x) + (c \log|c|) x $$ である。$(c \log|c|) x \in \ell^1(\mathbb{N})$ であるから、商空間においては $F(cx) \equiv c F(x)$ となる。

ステップ 5: 非自明性。
$x_n = \frac{1}{n (\log n)^2}$ とすると $x \in \ell^1(\mathbb{N})$ だが、計算により $F(x) \notin \ell^1(\mathbb{N})$ となるため、商空間において $0$ にならない。証明終。

5. 誘導された線型写像の単射性について

証明:
数列 $x = (1/2, 0, 0, \dots)$ を考える。$\sum_{n=1}^\infty |x_n| = 1/2 < \infty$ より $x \in \ell^1(\mathbb{N})$ であり、$x \neq 0$ である。
$F(x)_1 = -\frac{1}{2} \log 2$ であり、それ以降の項は $0$ となるため、$F(x) = (-\frac{1}{2} \log 2, 0, 0, \dots) \in \ell^1(\mathbb{N})$ である。
したがって商空間において $\pi(F(x)) = 0$ となり、$\tilde{F}(x) = 0$ を満たす非自明な元 $x \neq 0$ が存在するため、単射ではない。証明終。

6. 凝縮 $\mathbb{R}$ ベクトル空間の圏における単射性

圏論的な枠組み、すなわち凝縮 $\mathbb{R}$ ベクトル空間の圏においても、この射は単射 (monomorphism) ではない。

証明:
アーベル圏において射が単射であることと、その核がゼロ対象となることは同値である。
凝縮ベクトル空間の圏において極限 (limit) は点ごとに計算されるため、凝縮対象としての核 $\ker(\pi \circ \underline{F})$ を一点 $*$ （超不連結な一点空間）で評価したものは、写像 $\tilde{F}$ の通常の核に等しい。
$$ (\ker(\pi \circ \underline{F}))(*) = \ker((\pi \circ \underline{F})(*)) = \ker(\tilde{F}) $$ 命題 5.1 で示した通り $\ker(\tilde{F})$ はゼロ空間ではないため、$\ker(\pi \circ \underline{F})$ はゼロ対象ではない。したがって単射ではない。証明終。

7. 液体ベクトル空間としての商空間の構成と意義

$\ell^p(\mathbb{N})$ （ $p \ge 1$ ）は、凝縮ベクトル空間の適切な部分圏である液体ベクトル空間 (liquid vector space) の対象である。この事実から、以下の重要な帰結が得られる。

8. 凝縮ベクトル空間における商の具体的な構成

凝縮集合の圏において、商対象（ベクトル空間の層の商）を構成する際、テスト空間である $\text{ExtrDisc}$ の際立った位相的性質が決定的な役割を果たす。

証明の要約:
Gleasonの定理により、$S \in \text{ExtrDisc}$ は compact Hausdorff 空間の圏において射影的対象である。したがって、任意の全射（局所的な持ち上げをまとめた写像）は連続な切断 (section) を持つ。
これにより、局所的に定義されたものは常に全体 $S$ 上へ拡張できるため、前層のレベルでの商写像がそのまま全射となる。すなわち、層化 (sheafification) という複雑なプロセスが $\text{ExtrDisc}$ 上では一切発生しない。

9. 超不連結空間の射影性と他の演算への影響

$\text{ExtrDisc}$ の射影性 (projectivity) は、単なる商空間の構成にとどまらず、テンソル積や完備化といった関数解析の基本的な演算を根本から書き直す。

凝縮数学における $\ell^2(\mathbb{N})/\ell^1(\mathbb{N})$ と Peter Scholze の演習問題についての詳細解説